منابع مشابه
The CONCERTO methodology for model-based development of avionics SW
The development of high-integrity real-time systems, including their certification, is a demanding endeavour in terms of time, skills and effort involved.This is particularly true in application domains such as the avionics, where composable design is to be had to allow subdividing monolithic systems into components of smaller complexity, to be outsourced to developers subcontracted down the su...
متن کاملXWiki Concerto: A P2P Wiki System Supporting Disconnected Work
This paper presents the XWiki Concerto system, the P2P version of the XWiki server. This system is based on replicating wiki pages on a network of wiki servers. The approach, based on the Woot algorithm, has been designed to be scalable, to support the dynamic aspect of P2P networks and network partitions. These characteristics make our system capable of supporting disconnected edition and sub-...
متن کاملconcerto: A Methodology Towards Reproducible Analyses of TLS Datasets
Over the years, SSL/TLS has become an essential part of Internet security. As such, it should offer robust and stateof-the-art security, in particular for HTTPS, its first application. Theoretically, the protocol allows for a trade-off between secure algorithms and decent performance. Yet in practice, servers do not always support the latest version of the protocol, nor do they all enforce stro...
متن کاملEndothelial Cells and Astrocytes: A Concerto en Duo in Ischemic Pathophysiology
The neurovascular/gliovascular unit has recently gained increased attention in cerebral ischemic research, especially regarding the cellular and molecular changes that occur in astrocytes and endothelial cells. In this paper we summarize the recent knowledge of these changes in association with edema formation, interactions with the basal lamina, and blood-brain barrier dysfunctions. We also re...
متن کاملIssues of Rhythm, Symmetry, and Style in Alfred Schnittke's Concerto for PIano and Strings
......................................................................................................................................... iv Acknowledgements ........................................................................................................................ vi Table of
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Musical Times and Singing Class Circular
سال: 1870
ISSN: 0958-8434
DOI: 10.2307/3354912